Funktionsprogrammering

Denne artikel har flere problemer. Hjælp med at løse dem eller diskutér problemerne på diskussionssiden. (Se hvornår og hvordan denne besked kan fjernes) Denne artikel bør gennemlæses af en person med fagkendskab for at sikre den faglige korrekthed. Der er ingen kildehenvisninger i denne artikel, hvilket er et problem. Begrundelsen kan findes på diskussionssiden eller i artikelhistorikken. Du kan hjælpe ved at angive kilder til de påstande, der fremføres. Hvis ikke der tilføjes kilder, vil artiklen muligvis blive slettet (september 2016) (Lær hvordan og hvornår man kan fjerne denne skabelonbesked) Denne artikel omhandler svært stof. Der er endnu ikke taget hensyn til ikke-eksperter. Begrundelsen kan findes på diskussionssiden eller i artikelhistorikken. Du kan hjælpe ved at skrive en letforståelig indledning. (Lær hvordan og hvornår man kan fjerne denne skabelonbesked) (Lær hvordan og hvornår man kan fjerne denne skabelonbesked)

Inden for datalogi er funktionsorienteret programmering, funktionel programmering eller funktionsprogrammering et programmeringsparadigme hvor man betragter beregning som evalueringen af matematiske funktioner.

Resultatet af et program er i denne sammenhæng returværdien fra en funktion anvendt på en værdi.

Værdiorienteret programmering er et andet navn på funktionsorienteret programmering; (Værdi henspeiler på, at resultatet af et program er i denne sammenhæng returværdien fra en funktion anvendt på en værdi.) Værdiorienteret programmering tilhører genren deklarativ programmering fordi man erklærer (eng. declare) hvad man gerne vil beregne frem for hvordan det skal beregnes.

Bag funktionsorienteret programmering ligger den abstrakte model Lambda-kalkylen. Denne model står historisk i kontrast til den abstrakte model Turing-maskinen, som er udgangspunktet for det mere udbredte programmeringsparadigme, imperativ programmering (eller tilstandsorienteret programmering). Selvom de to paradigmer har forskellige abstrakte modeller, så viste Church-Turing-tesen at de er ækvivalente: At enhver beregning som den ene model kan beskrive, kan den anden også beskrive, og omvendt.